Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🦀Rust programming language
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·15h·
Discuss: Hacker News
🧮Computer science
Gradual negation types and the Python type system
jellezijlstra.github.io·11h·
Discuss: Hacker News
🧮Computer science
LLMs Are Bad at Being Forced
morphllm.com·5h·
Discuss: Hacker News
🎲procedural generation
Everyone knows what a horse is: What we got wrong about universal translators
nimishg.substack.com·10h·
Discuss: Substack
🧠Meta-creativity
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🧮Computer science
The Architecture of Open Source Applications (Volume 1) Battle for Wesnoth
aosabook.org·1h·
Discuss: Hacker News
🛠️Creative Coding Frameworks
Kiro and the future of AI spec-driven software development
kiro.dev·1d·
Discuss: Lobsters, Hacker News
🎲procedural generation
A PhD's Apology
cappadokes.github.io·1d·
Discuss: Hacker News
🧮Computer science
I Built a Testable Recursive Theory of Language Models Using GPT – It Works
news.ycombinator.com·4d·
Discuss: Hacker News
🧮Computer science
Almost Always Auto (2013)
herbsutter.com·8h·
Discuss: Hacker News
🦀Rust programming language
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·4h·
Discuss: Hacker News
🌐Distributed systems
Training a Chunker with Burn
elijahpotter.dev·21h·
Discuss: Hacker News
🦀Rust programming language
The key to understanding “Dynamic Programming” is that it’s not referring to “computer programming”
vidarholen.net·20h·
Discuss: Hacker News
🧮Computer science
Parsing Protobuf Like Never Before
mcyoung.xyz·1d·
Discuss: Lobsters, Hacker News
🧮Computer science
Connecting legibility to theory building in programming
ashwinsundar.com·2d·
Discuss: Hacker News
🛠️Creative Coding Frameworks
A Rust Shaped Hole
mnvr.in·2d·
Discuss: Lobsters, Hacker News
🦀Rust programming language
The power of the Unix philosophy for LLM agentic tools
blog.korny.info·4h·
Discuss: Hacker News
🛠️Creative Coding Frameworks
Programming Language Theory has a public relations problem
happyfellow.bearblog.dev·4d·
Discuss: Lobsters, Hacker News, r/programming
🧮Computer science
Boffins detail new algorithms to losslessly boost AI perf by up to 2.8x
theregister.com·7h·
Discuss: Hacker News
🧮Computer science